이곳은 개발을 위한 베타 사이트 입니다.기여내역은 언제든 초기화될 수 있으며, 예기치 못한 오류가 발생할 수 있습니다.문서의 임의 삭제는 제재 대상으로, 문서를 삭제하려면 삭제 토론을 진행해야 합니다. 문서 보기문서 삭제토론 논리 연산 (문단 편집) === 합의 법칙(Consensus) === || [math(AB + {\color{red}BC} + CA' = AB + CA')] [math((A + B){\color{red}(B + C)}(C + A') = (A + B)(C + A'))] || 자세히 보면 가운데 마디가 사라진 것을 볼 수 있다. 증명은 아래와 같다. ||우선[br][br][math(\def\arraystretch{1.5} \begin{array}{clr} &BC&\\ =&1\cdot BC &\because 항등원\ A\cdot 1 = A\\ =&(A+A')\cdot BC &\because A+A' = 1\\ =&ABC+ A'BC &\because 분배법칙\\ =&ABC + CA'B &\because 교환법칙\end{array})][br][br]임을 이용한다.[br][br][math(\def\arraystretch{1.5} \begin{array}{clr} &AB + BC + CA'&\\ =&AB + ABC + CA'B + CA'&\\ =&(AB+AB\cdot C) + (CA'\cdot B + CA') &\because 결합법칙\\ =&(AB + AB\cdot C) + (CA' + CA'\cdot B) &\because 교환법칙\\ =&AB + CA' &\because 흡수법칙\ A+A\cdot B = A\end{array})] || 비슷한 방법으로 아래 식도 증명할 수 있다.저장 버튼을 클릭하면 당신이 기여한 내용을 CC-BY-NC-SA 2.0 KR으로 배포하고,기여한 문서에 대한 하이퍼링크나 URL을 이용하여 저작자 표시를 하는 것으로 충분하다는 데 동의하는 것입니다.이 동의는 철회할 수 없습니다.캡챠저장미리보기